
   Syntax      {%IN% label} {%ON% iteration} %ADD% &expression&

   Purpose     adds &expression& to an expression, equation, or relation.

   %Example%

   þLABEL R[1..2]
   þR[1] : - x < - x + y < - x + z
   þIN R[1] ADD x
   0 < x < z

   PROCEDURE Example(INTEGER N ; LABEL L ; PARAMETER P) ;
     ITERATE I FROM 1 TO N ;
     IN L[I] ADD P ;
   EXIT

